<p>
    A source file should not include the same file multiple times: if the same include directive is present, usually
    only the first one is needed.
</p>